﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

using Microsoft.Cci;

using Logging;

using PartialExpressionCompleter.Util;

namespace PartialExpressionCompleter.Experiment
{
    class AbstractTypesOutputter : Experiment
    {
        public override string FileExtension
        {
            get { return "abstypes"; }
        }

        public AbstractTypesOutputter(Microsoft.Cci.MutableCodeModel.Assembly unit)
            : base(unit)
        { }

        public override void RunExperiment()
        {
            var absTypes = new AbstractTypeInferencer(unit);
            absTypes.DisplayTermMeanings();
            System.Console.Out.Flush();
        }
    }
}
